Κ-stationary Subsets of Pκ+λ, Infinitary Games, and Distributive Laws in Boolean Algebras

نویسنده

  • NATASHA DOBRINEN
چکیده

We characterize the (κ, λ,< μ)-distributive law in Boolean algebras in terms of cut and choose games G <μ(λ), when μ ≤ κ ≤ λ and κ <κ = κ. This builds on previous work to yield game-theoretic characterizations of distributive laws for almost all triples of cardinals κ, λ, μ with μ ≤ λ, under GCH. In the case when μ ≤ κ ≤ λ and κ = κ, we show that it is necessary to consider whether the κ-stationarity of Pκ+λ in the ground model is preserved by B. In this vein, we develop the theory of κ-club and κ-stationary subsets of Pκ+λ. We also construct Boolean algebras in which Player I wins G κ(κ +) but the (κ,∞, κ)-d.l. holds, and, assuming GCH, construct Boolean algebras in which many games are undetermined. §

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Games and General Distributive Laws in Boolean Algebras

The games G 1 (κ) and G η <λ(κ) are played by two players in η +complete and max(η+ , λ)-complete Boolean algebras, respectively. For cardinals η, κ such that κ<η = η or κ<η = κ, the (η, κ)-distributive law holds in a Boolean algebra B iff Player 1 does not have a winning strategy in G 1 (κ). Furthermore, for all cardinals κ, the (η,∞)-distributive law holds in B iff Player 1 does not have a wi...

متن کامل

Strong Compactness and a Partition Property

We show that if Part(κ, λ) holds for every λ ≥ κ, then κ is strongly compact. Let κ be a regular infinite cardinal, and let λ ≥ κ be a cardinal. Pκ(λ) denotes the set of all subsets of λ of size less than κ. Part(κ, λ) means that for every F : Pκ(λ) × Pκ(λ) → 2, there is a cofinal subset A of (Pκ(λ),⊆) such that F is constant on the set {(a, b) ∈ A × A : a ⊂ b}. This definition is due to Jech [...

متن کامل

Global Co-stationarity of the Ground Model from a New Countable Length Sequence

Suppose V ⊆ W are models of ZFC with the same ordinals, and that for all regular cardinals κ in W , V satisfies κ. If W \ V contains a sequence r : ω → γ for some ordinal γ, then for all cardinals κ < λ in W with κ regular in W and λ ≥ γ, (Pκ(λ)) \ V is stationary in (Pκ(λ)) . That is, a new ω-sequence achieves global co-stationarity of the ground model.

متن کامل

Weak compactness and no partial squares

We present a characterization of weakly compact cardinals in terms of generalized stationarity. We apply this characterization to construct a model with no partial square sequences. One of the striking features of weak compactness in the large cardinal hierarchy is the wide variety of characterizations of the concept. These characterizations meet many disparate areas of set theory, including me...

متن کامل

The Nonstationary Ideal on Pκ(λ) for Λ Singular

Let κ be a regular uncountable cardinal and λ > κ a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of Pκ(λ) and use this to prove that the nonstationary ideal on Pκ(λ) is nowhere precipitous. 0 Introduction Let κ be a regular uncountable cardinal and λ > κ a singular cardinal. Let Iκ,λ (respectively, NSκ,λ) denote the ideal of noncofinal (respectivel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008